COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00005 00003	.LTR(Professor Bernard Meltzer)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50

.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 3 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 3 THEN "∨"  ELSE "fαl" ⊃;

.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃

.MACRO LTR(name,dat)  ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or  415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃

.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
	Douglas B. Lenat
	Artificial Intelligence Laboratory
	Stanford University
	Stanford, California  94305
.END APART ⊃

.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL  CENTER
Sincerely,
.SKIP 6
Doug  Lenat
.END APART ⊃

.portion main
.page←1
.LTR(Professor Bernard Meltzer)
Department of Artificial Intelligence
University of Edinburgh
Forrest Hill
Edinburgh 
EH1 2QL
Scotland

.FAC 

Dear Professor Meltzer,

I'm a fourth-year graduate student in Stanford's Computer Science department; 
you may recall
me from the times we breakfasted in Tbilisi last September.

My thesis deals with
how one might explain -- and automate --
the formation of new mathematical theories.
I've programmed a system which can propose promising
new mathematical concepts, which aims at
expertise in formulating definitions and in theorem %2proposing%*,
rather than theorem %2proving%*.
A short description of the project is enclosed. Avra Cohn, currently one of
your graduate students, assisted me in 1974 when I first began this
work. 
I noticed in a recent communique sent by Dr. Howe 
that you and several of your staff
have become interested in similar issues.

My thesis committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth. They have suggested that I
write you, since I expect to receive my Ph.D. by next Fall. I am interested
in a faculty position for next year, and would welcome the opportunity to
discuss the matter with you. 
I have enclosed a %2curriculum vitae%*. In addition to my committee-members,
feel free to contact Avra Cohn or  Mike Gordon at Edinburgh, or Terry
Winograd at SU-AI.
I can't afford to come to Edinburgh for an interview, so I hope you have
a standard solution for what must be a canonical logistics problem.

Even if there are no openings for next year, I would welcome a dialogue
on our common research interests. If you wish to respond
over the ARPA-NET, my mailbox is DBL@SU-AI.

.DBL